Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
501	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
502	ADI thanks Guy Lavoie for creating this very helpful FAQ document. C-MaxFAQ Version 1.5 Add to Reading List Source URL: www.appdig.com Language: English - Date: 2002-12-20 10:17:22 Computing ALGOL 68 Scripting languages Programming language theory Software engineering Procedural programming languages
503	Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications Benjamin Livshits and Jaeyeon Jung Microsoft Research Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-08-07 18:14:03 Computing Dominator Control flow graph Static single assignment form C Compiler construction Programming language theory Software engineering
504	Screen-Replay: A Session Recording and Analysis Tool for DrScheme M. Fatih K¨oksal, R. Emre Bas¸ar ¨ udarlı Suzan Usk¨ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:22 Programming language theory Computer science education Java programming language ProgramByDesign The Structure and Interpretation of the Computer Science Curriculum How to Design Programs ALGOL 68 Computing Scheme programming language Software engineering
505	Touchi~rp.Lives. B~rilcliinComn~lrniw Kurt Maloney Cl~rir Board of Directors Add to Reading List Source URL: www.customcatering.net Language: English - Date: 2010-06-03 10:06:10 Programming language theory Software engineering Tcl Computing
506	Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-12-29 11:26:37 Computing Data types Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Entailment System F Type theory Software engineering Programming language theory
507	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory
508	The Swine Before Perl Shriram Krishnamurthi Brown University and PLT Why We’re Here Any sufficiently complicated C or Fortran Add to Reading List Source URL: ll1.ai.mit.edu Language: English - Date: 2001-11-20 10:43:08 Functional languages Racket Shriram Krishnamurthi Scheme Fortran Lisp Teach Yourself Scheme in Fixnum Days Computer programming Computing Software engineering Programming language theory
509	Domain-Specific Software Component Models Kung-Kiu Lau and Faris M. Taweel School of Computer Science , The University of Manchester Manchester M13 9PL, United Kingdom {Kung-Kiu,Faris.Taweel}@cs.manchester.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-05-11 09:42:53 Object-oriented programming Software development Data model Component-based software engineering Decomposition Domain-specific language SIGNAL D-subminiature Control theory Software engineering Systems engineering Computing
510	AN-31 Application Note 750 Naples Street • Add to Reading List Source URL: www.pumpkininc.com Language: English - Date: 2011-09-12 16:04:23 Pascal Programming language theory Computing

UPDATE